Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
301	The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA. Add to Reading List Source URL: openwall.info Language: English - Date: 2014-10-13 00:40:06 Theoretical computer science Formal methods Computer science Software engineering Logic in computer science Dependently typed programming Proof assistants Proof-carrying code Formal verification Mathematical proof CurryHoward correspondence Algorithm
302	QLectives – Socially Intelligent Systems for Quality Project noInstrument: Large-scale integrating project (IP) Programme: FP7-ICT Deliverable DQScience v2 (Web2.0) Add to Reading List Source URL: qlectives.eu Language: English - Date: 2011-03-17 06:51:52 Software Content management systems Blog software Cross-platform software PHP frameworks Mathematical finance Drupal Econophysics
303	Scientific Report First name / Family name Ralf Hannemann-Tamás Add to Reading List Source URL: fellowship.ercim.eu Language: English - Date: 2013-02-13 10:01:41 Object-oriented programming Software engineering Scientific modeling Mathematical optimization Operations research Modelica Sensitivity analysis Reduction Computer programming Economy
304	BMS IT Symposium (BITCon) Agenda \| PlanetConnect HOME AGENDA VENUE FLOORPLAN SPONSOR DELIVERABLES REGISTRATION Add to Reading List Source URL: www.sinequa.com Language: English - Date: 2015-05-06 07:49:42 Business intelligence Cloud applications Cloud computing Analytics Big data Mathematical finance Software as a service Lowrie
305	Charlottenstr. 2, 01099, Dresden Germany https://yoichihirai.com Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2016-01-06 15:14:57 Software Hirai Coq Mathematical logic Declarative programming
306	JuMP: A MODELING LANGUAGE FOR MATHEMATICAL OPTIMIZATION IAIN DUNNING, JOEY HUCHETTE, MILES LUBIN ∗ Add to Reading List Source URL: www.optimization-online.org Language: English - Date: 2016-02-28 17:01:29 Mathematical optimization Operations research Numerical software Computer algebra systems AMPL Algebraic modeling language Linear programming Gurobi Automatic differentiation Nl Pyomo SCIP
307	Dynamic Test Generation for Large Binary Programs by David Alexander Molnar A.B. (Harvard CollegeM.S. (University of California, Berkeley) 2006 Add to Reading List Source URL: www.dmolnar.com Language: English - Date: 2009-08-16 21:04:01 Software testing Search algorithms Theoretical computer science Fuzz testing Hash function Algorithm Mathematical optimization Software bug Information retrieval Software engineering Mathematics
308	Bioinformatics Advance Access published April 28, 2010 Parallelization of the MAFFT multiple sequence alignment program Kazutaka Katoh∗ and Hiroyuki Toh Computational Biology Research Center, National Institute of Adv Add to Reading List Source URL: bioinformatics.oxfordjournals.org Language: English Computational phylogenetics Bioinformatics Biology Mathematical and theoretical biology Software Multiple sequence alignment MAFFT BLAST Sequence alignment Clustal Structural alignment Alignment
309	Motivation Examples Implementation details A Controlled Language for Software Specifications & Mathematical text Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-01-08 15:33:47
310	MathTools V2 Product Brief MathZone - major new concept in V2. Defines the range in the story representing an equation. Entering a MathZone-means, Add to Reading List Source URL: movemen.com Language: English - Date: 2014-10-14 00:03:29 Desktop publishing software Formula editors Mathematical markup languages MathML Adobe InDesign MathType Adobe InCopy EPUB MathMagic

UPDATE